Analysis of DIRAC's behavior using model checking with process algebra
نویسندگان
چکیده
منابع مشابه
Towards Model Checking Stochastic Process Algebra
Abstract. Stochastic process algebras have been proven useful because they allow behaviour-oriented performance and reliability modelling. As opposed to traditional performance modelling techniques, the behaviouroriented style supports composition and abstraction in a natural way. However, analysis of stochastic process algebra models is state-oriented, because standard numerical analysis is ty...
متن کاملPerformance Evaluation : = (Process Algebra + Model Checking) × Markov Chains
Markov chains are widely used in practice to determine system performance and reliability characteristics. The vast majority of applications considers continuous-time Markov chains (CTMCs). This tutorial paper shows how successful model specification and analysis techniques from concurrency theory can be applied to performance evaluation. The specification of CTMCs is supported by a stochastic ...
متن کاملBusiness process analysis by model checking
In order to check the performance of a process, key performance indicators will be necessary. Key performance indicators (KPI's) help to compare the profitability of two processes. To obtain detailed information on the performance, a procedure is needed to analyse a process by checking its model. Such a procedure helps to evaluate a process without the need of doing an expensive attempt by test...
متن کاملChecking a Mutex Algorithm in a Process Algebra with Fairness
In earlier work, we have shown that two variants of weak fairness can be expressed comparatively easily in the timed process algebra PAFAS. To demonstrate the usefulness of these results, we complement work by Walker [11] and study the liveness property of Dekker’s mutual exclusion algorithm within our process algebraic setting. We also present some results that allow to reduce the state space ...
متن کاملAssembly Code Analysis Using Stochastic Process Algebra
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In this paper, we propose a strategy which allows us the analysis and the choice of the best optimisation, by focusing on the hot part of an assembly code. In our approach, for each optimisation applied, the code of the ho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2012
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/396/5/052061